1

Real-time programming with GNAT

Year:
1999
Language:
english
File:
PDF, 319 KB
english, 1999
19

Distributed execution of specifications

Year:
1993
Language:
english
File:
PDF, 1.24 MB
english, 1993
36

Real-Time Object-Oriented Design and Formal Methods

Year:
2000
Language:
english
File:
PDF, 45 KB
english, 2000